Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove reports folder #41

Closed
wants to merge 1 commit into from
Closed

Remove reports folder #41

wants to merge 1 commit into from

Conversation

tibor19
Copy link

@tibor19 tibor19 commented Sep 13, 2024

Based on the new requirements, we need to remove the reports folder.

Based on the new requirements, we need to remove the reports folder.
Copy link

codecov bot commented Sep 13, 2024

Codecov Report

Attention: Patch coverage is 0% with 3 lines in your changes missing coverage. Please review.

Project coverage is 65.32%. Comparing base (0591734) to head (a7b6ae7).
Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
src/verifier/core/reporting.py 0.00% 3 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #41      +/-   ##
==========================================
- Coverage   65.43%   65.32%   -0.11%     
==========================================
  Files          13       13              
  Lines        1218     1220       +2     
==========================================
  Hits          797      797              
- Misses        421      423       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Collaborator

@2byrds 2byrds left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the submission @tibor19 . I have been testing with the newer file format and there are several changes needed related to the internal zip. I'll close this PR and submit one with all the necessary changes.

@2byrds 2byrds closed this Sep 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants